cancellation law for addition

加法消去律